Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
⚙️Compilers
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
🧩programming
Flag this post
Sports architecture analysis among projects from University of Southern California
dezeen.com·13h
🌐Network Protocols
Flag this post
Markdown Is Holding You Back
newsletter.bphogan.com·9h·
Discuss: Hacker News
📡RSS
Flag this post
Finding duplicated code with tools from your CS course
purplesyringa.moe·6d·
🧩programming
Flag this post
Mathematics of Consensus — Accidental Lecture
tigerbeetle.com·1d
🌐Network Protocols
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🧩programming
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
🎰Bytecode VMs
Flag this post
Hierarchical Bayesian modeling of multiregion brain cell count data
elifesciences.org·2d
🌐Network Protocols
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.cz·1d·
🧩programming
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.com·1d
🎰Bytecode VMs
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
⚙️Compilers
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
⚙️Compilers
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·5d·
🧩programming
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🧩programming
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🧩programming
Flag this post
A time for monsters: Organizational knowing after LLMs
arxiv.org·2d
🧩programming
Flag this post
SemanticCite: Citation Verification with AI-Powered Full-Text Analysis and Evidence-Based Reasoning
arxiv.org·2d
⚙️Compilers
Flag this post
Balancing Natural Language Processing Accuracy and Normalisation in Extracting Medical Insights
arxiv.org·2d
⚙️Compilers
Flag this post
CARE: Turning LLMs Into Causal Reasoning Expert
arxiv.org·2d
🧩programming
Flag this post